(def +5 (lambda (x) (+ 5 x)))